$\forall$$b$:$\mathbb{B}$. ($\neg$($\uparrow$$b$)) $\Rightarrow$ ($b$ = ff)